From b18e2d96e785e7088f3b137e800f987bbe8c7657 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 21 Nov 2013 18:59:22 +0000 Subject: [PATCH] .gitignore: Ignore tools/ocaml/libs/xentoollog/ build outputs Signed-off-by: Ian Jackson --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index 3253675e24..f88e43151b 100644 --- a/.gitignore +++ b/.gitignore @@ -383,6 +383,9 @@ tools/ocaml/libs/xl/_libxl_types.ml.in tools/ocaml/libs/xl/_libxl_types.mli.in tools/ocaml/libs/xl/xenlight.ml tools/ocaml/libs/xl/xenlight.mli +tools/ocaml/libs/xentoollog/_xtl_levels.* +tools/ocaml/libs/xentoollog/xentoollog.ml +tools/ocaml/libs/xentoollog/xentoollog.mli tools/ocaml/xenstored/oxenstored tools/debugger/kdd/kdd -- 2.30.2